Field Homomorphism
Definition
A function
Note that this is simply an extension of the definition of a ring homomorphism for a ring with identity.
It can also be thought of as a generalisation of a group homomorphism over the two underlying groups on which the field is constructed. As with the definition for a ring homomorphism, we don't need to explicitly require
It can easily be proven that every field homomorphism is injective.